package prolog.terms

abstract class Sink extends Fluent {
  def putElement(T: Term): Int
}